PauliStrings.jlQuantum many body simulations in the Pauli strings basisproject julia pauli propagation circuits simulation